Relation algebra - PDFSEARCH.IO - Document Search Engine

Relation algebra
Results: 384

#	Item
331	1 Joseph Muscat 2013 Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2013-10-01 03:49:25 Universal property Isomorphism theorem Kernel Equivalence relation Function Universal algebra Homomorphism Heyting algebra C*-algebra Mathematics Abstract algebra Category theory
332	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2010-02-22 14:55:33 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
333	6 QUERY-BY-EXAMPLE (QBE) Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2004-02-02 00:02:31 Query languages Relational database management systems Data modeling Query by Example SQL Relational algebra Relation Domain relational calculus Select Data management Relational model SQL keywords
334	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2010-02-20 12:22:21 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
335	Field Theory Amol Jain Long Island Mathematics Fair 2005 Add to Reading List Source URL: laser.physics.sunysb.edu Language: English - Date: 2005-11-12 23:04:48 Algebraic structures Modular arithmetic Group theory Group Congruence relation Coprime Multiplicative inverse Abelian group Integer Abstract algebra Mathematics Algebra
336	BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 42, Number 2, Pages 119–135 Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2005-05-05 08:12:24 Algebra Motive Interpretation Representation theory Function Constructible universe Formal power series Motivic integration Equivalence relation Mathematics Abstract algebra Algebraic geometry
337	Univalence For Free Matthieu Sozeau1,2 and Nicolas Tabareau1,3 1 Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2013-03-21 05:10:37 Category theory Homotopy theory Algebraic structures Symmetry Higher category theory Groupoid Equivalence relation Group action Adjoint functors Abstract algebra Mathematics Algebra
338	ADVANCED EDUCATIONAL TECHNOLOGIES Recursively Defined Sequences and CAS Add to Reading List Source URL: www.wseas.us Language: English - Date: 2010-04-22 07:07:00 Mathematical analysis Chaos theory Algebra Recurrence relation Logistic map Cobweb plot Logistic function Bifurcation diagram Nonlinear system Mathematics Dynamical systems Theory of computation
339	Partially ordered sets Thomas Britz and Peter Cameron November 2001 Add to Reading List Source URL: www.maths.qmul.ac.uk Language: English - Date: 2001-11-09 10:28:24 Partially ordered set Binary relation Transitive closure Finitary relation Boolean algebra Inverse function Inverse relation Total order Inverse element Mathematics Mathematical logic Order theory
340	comm-rota.qxp[removed]:26 AM Page[removed]The Many Lives of Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-03-08 15:15:59 Lattice theory Distributive lattice Boolean algebra Algebraic structure Modular lattice Lattice Equivalence relation Congruence relation Distributive property Abstract algebra Mathematics Algebra

UPDATE